Can formatting remove viruses from computers